git-interrupt_timeout
authorGNU Libc Maintainers <debian-glibc@lists.debian.org>
Sat, 12 Jan 2019 17:50:25 +0000 (17:50 +0000)
committerAurelien Jarno <aurel32@debian.org>
Sat, 12 Jan 2019 17:50:25 +0000 (17:50 +0000)
commit55edc79604fa9c493013260360563fea5cd04879
tree8d1bcd9d4ea21a552d6cb76fedb366296a707c70
parentea0fac7f9b09ae2c555ed27a30ce926a6818c2d3
git-interrupt_timeout

commit 6849ff19657e8f7e6a83e9aaae07eb45269dc7d4
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Tue Oct 9 22:27:59 2018 +0200

    hurd: set interrupt timeout to 1 minute

    Seeing a server not able to get interrupted for 3s is not so surprising when
    e.g. a lot of writes are happening. 1 minute allows to actually notice the
    issue and be able to debug it.

            * hurd/hurdsig.c (_hurd_interrupted_rpc_timeout): Set to 60000.

Gbp-Pq: Topic hurd-i386
Gbp-Pq: Name git-interrupt_timeout.diff
hurd/hurdsig.c